type foo = int [@opaque]
